Simplify the implementation of document.lastModified.