Remove unneeded change

This was a red herring and should have been removed a long time ago.