Changed to use the original, modified for PHP.