Fix php bug annotation 3

Fix PHP bug annotation.