More minor formatting fixes.