Don’t force conversion to Pmf when returning.