Added details to make group actually act on K(X)