fix typo in obs-submit.sh