Fixed a typing error