Update DatatypeChecker.php