fixed issue GH-129 (see also commit on php-reflect)