checking in formatting changes for release on 2/13/2013