Odds and ends

Other miscellaneous things ought to end up here.