Corrected a fake bug