Fix newly found stop sequence problem (in test 3b)