minor changes, formating