Some simple PHPdoc updates