More tweaking of PHP code samples