That's a good idea.  Fixed with 946caafcfd4bc72a459fd189b58cbfd2c77f6255