tests for #463