I see. Well I can't think of any other name that will be better. I still find it strange as a preference, but it might be better than have them hard codded.