NodeMCU is just a convenience mapping to actual GPIO in the ESP8266. So NodeMCU.D7 is actually D13 as it states. So it looks perfectly normal.
@MisterG started
Espruino is a JavaScript interpreter for low-power Microcontrollers. This site is both a support community for Espruino and a place to share what you are working on.
NodeMCU is just a convenience mapping to actual GPIO in the ESP8266. So NodeMCU.D7 is actually D13 as it states. So it looks perfectly normal.