bugfix in DVDInputStream