I have fixed the problem and uploaded the new .deb to the homepage. Unfortunately, Extras is no accepting my ssh login at the moment, so it may happen that the repository version will have this glitch for a few days. It's not life-threatening though, so it can wait until the next release.