Re-adding the notice about the PHPUnit bug.