It has been fixed in the latest code on github. This can be closed.