small fix to syntax