fix avformat
cosmetics. no code change