token position information was slightly unprecise in some cases; fixed that.