Some corrections in the animation file spec