Ah, thanks. I was seeing the pulseIn() prototype in wiring.h and it definitely wasn't giving a default value for timeout!