— The ferris whel animation got reactivated.
— Both operators '+' and '×' are distinguishable more easily.
