fix a typing error