Fixing getXptoSet