Possible error report rather then a question regarding stm32F7xx_hal_dac.c

Just looking for the call to output a value to a DAC.

The top of the stm32f7xx_hal_dac.c file in a section "*** Polling mode IO operation ***" it mentions "To read the DAC last data output value, use the HAL_DAC_GetValue() function." but no mention of setting a value, looks like a copy & paste from ADC support.

I guessed at HAL_DAC_SetValue, and found it.

Is there a description section missing from the top of this file (perhaps others)?