test for #6.