Fix a dumb mistake from last commit