tabs.hveto: bug fix from previous commit