Minor php docs