misc

Here are some bits that don't fit elsewhere.