correct some ill-typing