Fix the problem that sometimes the input stream could be read over its end, leading to endless-loops or potentially even crashes. This could also be fixed by appending zeroes to the input, which would be the safer (but uglier) solution.