0005124: getRevision casts revision number to int