Minor theme file modifications