Fix a checked mode exception