Redo last change because this prevented complete source display.