Fixed a bug relating to revision support