Fine, I blindly used the example given in the bug report :)