misc

Whatever else comes to mind.