tiny bit of beautification, mostly done