Grammar: one too many `for`s