This is surprising

...plants growing better in the Mars soil than Earth soil.

That just doesn't sound right. I believe normal mars soil is toxic to plants, but could be true after the toxins are processed out. For example 15% iron is toxic AFAIK, but that iron is useful if the percentage that causes it to be toxic is taken out.