minor modifications, gitignore