http://iopscience.iop.org/0143-0807/34/5/1227/article
(That is, yes, you are correct.)
Answering my own question, he took 41 steps when he set the world record.