Fix one bug detected thanks to test case 557.
1 file changed