Miscellaneous

A few other things.