Bugfix large test case (#3)