[Theia] Minor typo