Fixed some compilation errors of knownsets.