Proper code formatting in AVIDump.h