Adding test for #813

Test for #813