Fixed mistake in program documentation