Re: [math-fun] Real analytic surface with uncountable base for its topology (correction)