Fix up some copypasta.