Miscellaneous code that did not find any other place to belong to.