Fix a careless mistake