Comment 2 for bug 1229286

Thank you Tim for your very helpful clarification! It seems that the other problem I reported in this bug (boolean config options) was also fixed yesterday (Dimiter?), so I am setting this as fix committed.