Bad day for patches
Merge pull request #1134 from waveney/wav31

Bad day for patches