esp8266: extra cast