Fixes #1476 Spiders / Bots theme selector missing
Merge pull request #1477 from PaulBender/fix-1476

Fixes #1476 Spiders / Bots theme selector missing