Test cases of issue #543.