fix for a fuzz "bug" reported by daniele.rivetti@yahoo.com