if that option weren't set