Fuzzy inexact merge

This is not apparent to me from the code — sorry if I missed something.