corrected displaying of phases in buffer with few lines; tuned
corrected displaying of phases in buffer with few lines;
tuned

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle