A tiny grammar fix