Miscellaneous

Misc. stuff.