Fixed bug with termlists (introduced by previous commit).