2013-11-30-09.46.35: Miscellaneous tidying.