Pull in Dasein changes

Need changes without edits.