Fix DyscoInputReader