Minor formatting. #1138