corretto bug