This was a mistake.  Fixed with 62940c12c400d90bc6d9ed8e79abb010e9c5e055