Good catch! Fixed in next revision.