minor theme-check changes