testcase taken directly from the bug report