Fix #209: omit undefined options