Add test for #3053. Fixes #3053.