correction for repeated stdout redirection