correct formatting of animation information printed to stdout