minor formatting fixes for clarity