Fixing a small mishap (it's not like anybody noticed)