@Sebastien: Indeed, it's the very same thing. Then I spent several hours on an issue that was already spotted and fixed. :(
@Sebastien: Indeed, it's the very same thing. Then I spent several hours on an issue that was already spotted and fixed. :(