Test for #823