minor style update.
added in the php comment example.