fixes tiny config/options bug