Php docs small error