PHPDoc fixup from 'moodlecheck' review.