Miscellaneous

Miscellaneous stuff.