Cleaned the header comments.
Corrected a bug in the definition of an add instance.