2014-01-30 tweak to formatting