Fix mistakenly deleted commits