minor stuff, formating