update headers to be compatible with phpdoc