It does not seem to be used anywhere.