Test for #3263