gitk: Fix two bugs reported by users