fix PHP comment