Test for #1719