Miscellaneous utilities.