Minor fixes. Better output in to_format0.pl.