Fix type in coin flipping problem