Fix coverage for #1407