added extended printout to all final states