Update to simplification doc.