Correcting a bad correction written at 2am