Don't need to redirect stderr to stdout here