Miscellaneous

Bits and pieces that did not fit in with the rest.