This function does not seem to be called from anywhere yet.