This function isn't used anywhere.