Minor updates for THEIA