Formalising the fix for the revision history view