test for #512