Fix some copypasta.