Minor fix in the ADC driver
Style