Test case #8743

- Reverting a3cf03ef99 fixes the issue