Fix parameter incorrectly documented for doxygen.