This function isn't currently used - is it part of something that's not yet written, or vestigial?