BUGFIX: revision numbers were unbound in revision history UI