Bug fix: correct widget names so that they match their option key

Not all UI widgets have exact the same name as their corresponding Options key, which needs to be corrected.

See issue #223 (closed).