There is indeed a bug, fixed in this PR