type checks UPDATE