Some printfs have been inserted searching for a possible bug