I've fixed and pushed this.  Sorry about that.