Alternate theme names are funny but end up being confusing.