bug fixing; belongs to 73558778610c63a7496eb385a244e7790ff444fc
fix test case: outcome was specified wrong