Misc.

Miscellanous things that I don't know where else to put.