Fix a bug with the grammar introduced in the previous commit