Korriger typesetting av <computeroutput>-blokken etter å ha sett i
originalen.
Generert.