Correction: Water intake after dehydration makes muscles more susceptible to cramp but electrolytes reverse that effect (BMJ Open Sport & Exercise Medicine)