fix a dumb bug