minor formatting changes to improve readability