Misc utilities.