small fix for <term> rendering