Utility code.