Miscellaneous code, that is useful to have around.