Fall2013 updates, mostly cosmetic