Why did these getter get deleted?