fix to syntax formatting