Formatting; minor edit