What does this comment mean? It's a different number than the revision being checked out.