Fix some PHP doc blocks