waver.py: Petite modification