Minor changes to thin_submit.
Bug fixes for submit-setup.py