formatting, mostly