You're right. That will be fixed.

In early Zorro versions the margin requirement was not added to the capital, so the description was true back then.