Smaller updates for formatting and new git-repository location.