Minor cleanup and clarifications. Added .gitignore.