formatting changes (minor)