Fix comment about all variable configurations

The binary vector is actually [1; 2^num_vars - 1].