This function doesn't seem to be used anymore.