Fix up INSTALL and "git add"

As suggested by Junio
2 files changed