Fixing formatting

May 23, 2013