That's what I though, but Andrei had told me to put them in one of my previous pulls. I'll remove them if they are useless.