First mysterious bug fixed