small tweak to fix avr