minor phpdoc fixes in the remaining files after pr #746