Minor comment and formatting changes