Minor cleanup of the PHP examples.