Fix prettyprinting of operator sections.
Fix prettyprinting of operator sections.

HIPERFIT/futhark,HIPERFIT/futhark,HIPERFIT/futhark,diku-dk/futhark,diku-dk/futhark,diku-dk/futhark,diku-dk/futhark,diku-dk/futhark