fix php comment