Use proper syntax to add a PPA repository