Miscellaneous collection of odds and ends.