Here's what should be the failing test case for #1414