Minor commenting formatting changes