Typing error fixes