Updates for PORTLETSPEC3-7, 10, and -25