Add test case for GitHub issue #762.