minor formatting changes, no functional change