fix so that koan6 will fail for the right reason