typing checking problems