The code is now fixed in the new branch,  not yet pushed.