Sigh.  I'm still figuring out this whole "git" thing.  :)  I mean to push this change.