fix function typechecking