Minor formatting and comment changes