Small fix in a repository