Fix mistaken deletion