Test for #2239