Add test for hotfix #6414