Ooops, I was too fast to commit the wrong fix :(