Fix some typing error