some additional type checks