Test for #1638