Small fix to syntax