True, commit 7efbebf fixes that.