Fix formatting in 2014-10-30