Minor changes to the syntactic error messages