Silly bug on syntax