Misc. utilities.