Are you sure the problem described in the comment is covered in our test suite?