Fix a leftover