Added some instructions in the header comments.