correct an obvious mistake