reformatted, adjusted horizontal whitespace