pr1522570 can now be converted correctly using vlog95