Document the changes that fix issue #134