On Johnson's example of a nonconvex Chebyshev set (Q1260633)

As it is well-known, \textit{V. Klee} [Proc. Colloq. Convexity, Copenhagen 1965, 168-176 (1967; Zbl 0156.363)] has conjectured that there exist nonconvex Chebyshev sets in infinite-dimensional Hilbert spaces. Recently, \textit{G. G. Johnson} [J. Approximation Theory 51,289-332 (1987; Zbl 0637.41033)] constructed an example of a nonconvex Chebyshev set in the incomplete inner product space of all finite sequences. The present author finds two flows in the long proof of G. G. Johnson and repairs them in this paper. A part of the proof of the Chebyshevity of the invoked set is now simplified.