reformat procedure definitions