This function does not seem to be called.