correct a typing error