Fixing minterm file output.