Fix bug in recent config change
(#350)