Find bug, add FIXME tag