arduino.ino: more cosmetics