Minor change due to git-related issue