another tweak to debug LED blink