Good point. I actually forgot about that feature when I wrote this.