I think this is a vestige from something else, and probably should go away.