Small fix in syntax