Mistake in handling of address pointer in dispatch