Added a test case related to issue #507.