Fix tiny typing error.