Ups, don't edit files during an open commit opereation.... The last commit missed the finish.