Fix noappledouble option