You’re right; should have written F-1 but it’s now too late to edit my comment. But you get the idea.