another bugfix with phpunit