fixing Herman formatting