Continued previous commit (github's web interface only allows me to commit one file at a time)