Two testcases for #726