Fixing mistake in GKS construction