Minor tweak to syntax checker