Implemented -write_isov_info so that it works properly with -normal.