format, smaller corrections