Still more tweaks of PHP code samples