fix formatting on retrospective instructions