Miscellaneous commit. (Sat Dec 14 11:54:59 EST 2013)