Miscellaneous tools.