Minor modifications for set_window_position.py