Made further minor tweaks to indentation March 9, 2013