We could change this but it would require but it would require some ugliness that I don't think is worth caring about.