In Commentary, `rotate-frame-anticlockwise' was described as `rotate-frame-anti-clockwise'.