this was safe to remove as by virtue of the mask 0x3fff, it cannot be larger than 16383!