.gitignore and doc fix.