.gitignore added, minor doc fixes