minor phpdoc fixes in the platform files