Fixing out-of-date HTML not being revertable.

Resolves #123.