fixed bug with NavigableString objects