putative bug fix