Some implementation notes added.