I guess we should look at that (but not until after we get the milestone out). I can change these when merging... obviously a very minor thing. I just wanted to point it out while here.