more formatting nitpicks