If you fix it as I wrote, I can merge your commit :-)