Fixed a mistake in user-config.jam