Normal or not?

Does anyone's else's cum have a hint of red in it? I just wanted to know if that is normal. He was fingering me and everything and I finished and when I went to the bathroom there was a very light pink tint to it. I didn't think cum did that. Any ideas?