final version of reformater.awk?