the tab in question was in such a position that it only produced a one character gap anyway, so I only noticed it when I changed tabwidth