Fixed typechecking bug