Excellent point!  Will change this in the next revision.