[FIX] portal_sale: inadvertence during the forward port 978fd47261d3a6cb6e39053892fb291bf61b511c