More PHPdoc work.