I had thought about the same and went with this :). Will push this change.