Actually fix console/6402 test