Rejigged unfoldFixInj which improved the sorted-flatten output a bit, but it's still not working.