Fixed bug where theme.js did not load due to wrong filepath.