Correcting with Sledgehammers