a test for element renumbering #3198