big changes to section 'Example trace of algorithm'