Renamed repository name in header comments.