Fix #484 / PHPUnit 4.1.5