Remove unused configuration option.
Merge pull request #109 from henning-gerhardt/issue_67

Fix #67: Remove unused configuration option.