Added test for fix of #13833 which would fail without the fix