More tern

Fix bug introduced in last pull request.