small tweak to PHP quickstart