Korrekturfikser fra Håkon Wium Lie.
Korriger typesetting av <computeroutput>-blokken etter å ha sett i
originalen.
Generert.