I totally agree. I've committed that change now.