Fix a dumb mistake