Minor fix in the translation of functions with 'when'.