This check is unnecessary, and getting rid of it removes a use of -disable-correct...