Second step of postprocessing added. Example corrected.