Delete unneeded code

Split from #39.