Some changes in doc, and proper initial version