Undo special barline does not work as expected

In the demo score,
- replace a double bar line by a repeat barline
- Undo

Result: a simple barline
Expected result: a double barline again