difference

My parents both suffer from night cramps almost daily, but whilst on a 10 day cruise recently neither suffered a single one. They have been over the differences between the ship and home but can't identify anything to explain the change. It's definitely something they'd like to understand so...