performance bug fix ... needless printing of terms; thanks Catalin!