Don't worry about this; @christy13 is changing it as part of issue #6.