Проблема с play() в manim

Выполняю этот код:

from manimlib import *

class SquareToCircle(Scene):
    def construct(self):
        circle = Circle()
        self.play(ShowCreation(circle))
        self.play(circle.animate.shift(2 * RIGHT), circle.animate.scale(0.25))

(Это укороченный пример с https://3b1b.github.io/manim/getting_started/quickstart.html)

Но circle.animate.shift(2 * RIGHT) не анимируется (https://youtu.be/O-uGq0c3pNw)