Fixing a bizarre mistake