Formatting, mino corrections