Made Arduino IDE happy