Update stdinput.py