Fixing a dumb bug