Fix erroneous PHP doc blocks