usermanual: some adjustments to the denoising text.