Small change in menu_animation.h