Added a testcase to try to demonstrate #443.