More slight formatting fixes.