Counterexample to boundary regularity of a strongly pseudoconvex CR submanifold: An addendum to the paper of Harvey-Lawson