Small enhancement to PORTLETSPEC3-7