Typing bugfixes