fix some PHP doc blocks