  Smithson (1971) ``Fixed points of order preserving multifunctions'' gives a
fixed point theorem for a self correspondence on a partially ordered set, but
its proof has an error. This paper points it out by constructing a
counterexample and proves the theorem correctly.
