Fix errors and improve readability of crowdsale test pseudocode