Fix bug printing core terms.