tidy up UpdateThebes a little
remove another TODO