Added a test for #880.