Fix DocumentChange related stuff in Session.hs