Fixed a formatting mistake in Program