bugfix in PHP ViewEngine test