fix a careless mistake