Add a test for #1133