I fixed it in commit 4a0b653d169ba8e46763b50a3b7c331b205689d7