js: tweak the animation slightly.