minor php guide update