Fix error pertaining to theme manager