Fixed little bug in the syntax