more type checks