Tiny fix for #7

I forgot to mention this.