(Broken) A trip to PHPLint made me discover this