This function is not called from anywhere else, so it doesn't need a name.