Misc

Odds and ends