doc: removed redundant space in animation.py