PHP doc typo