Typing error fixing