overflow bug discovered