Fix a wrong phpDoc description