#492: gitignore, minor comment change

Resolves #492.