gitk: Fix typo in user message.