Minor fixes on read_stderr