Update terminology.html