Add test for PR12527 (bug has apparently already been fixed).