Started to fix broken stuff: descriptionOfLastFlipLabel has some cases in which the attributed text is incorrect