fixed the returntype of briefTerm