fix interleaving problem in doco