[14 July 2013 21:21] style changes