Fixing a sanity check recently added [attempt #2]