Additional type checking.