a small fix to syntax