Fix mistake in RBIT