Minor fix for --no-condense-function-values