Another Phpdox configuraton fix