Tiny PhpDoc section update