Uncaught Error: Invalid pin!

 ____                 _
|  __|___ ___ ___ _ _|_|___ ___
|  __|_ -| . |  _| | | |   | . |
|____|___|  _|_| |___|_|_|_|___|
         |_| espruino.com
 2v08.80 (c) 2019 G.Williams
Espruino is Open Source. Our work is supported
only by sales of official boards and donations:
http://espruino.com/Donate
Flash map 512KB:256/256, manuf 0xc8 chip 0x4013
>di
digitalPulse        digitalRead
digitalWrite
>digitalWrite(D13,1)
=undefined
>digitalPulse(D13,1,10)
=undefined
Uncaught Error: Invalid pin!

Occurs only with digitalPulse ()