gitk: Fix errors in the theme patch