Fixed a bug in revert-matching-buffers.