Actually, continuing the discussion of base error probability, it looks like we then take (1 - error) here, so it should just be the success probability.