clean noweb output a bit