Commit again, because the git gui tool is mind-bogglingly stupid and doesn't commit all my selected files.