Documentation typo.
Tune .gitignore.
Merged 'develop'.