Possible bug but I don’t think so.  Just in case check.