Small fix for syntax