A bug corrected, main changed