Sounds good!  The latest commit makes the change you suggest.