This was fixed after we reported it a few years ago while working on the paper.