fixed a small bug in the error reporting code for the stricter checking of meta-variables