More correction, thanks to PHPUnit.