fix a dumb error