reformat code in sec. 1