Test for #552.