fix what appears to be a mistake