Run format.pl