tests for issue #7773 fix