More minor tweaks to my formatting March 10, 2013