Minor change due to git issue