fixes nasty bug in typechecks
bump version