Fix a few PHP docblocks