portfolio: fix export of emptyset