Fix a stray `