I'm not at all surprised. I expect it happens more often than is reported. Big snakes, smaller people... what's to prevent it? I don't see it as any different than shark attacks or gators, or polar bears. Humans aren't always at the top of the food chain.