Additions from UCMP.