Fix a typo in sanity check