Added a test for the fix from 8017aeb1f7.