BUGFIX: bug in debounce() code that dropped the last event.