bug patch: bad empty options management