tiny update in module stdin_utils