This says stderr reader, but it redirects the same stream (`in`)... is that a mistake?