make sanity check for GLIMMER a bit stricter