Fix PHP DocComment