Fix wrongly committed setting.
Fixes #17.