0005124: getRevision casts revision number to int (cherry picked from commit 4ef17d5)