changed the test so it also works at PHP 5.3.*