Fix another phpDoc comment