Minor changes to arduinolib