small improvement credalset