--- a/tools/Master.cpp Wed Jun 18 13:33:50 2008 +0000 +++ b/tools/Master.cpp Wed Jun 18 13:44:43 2008 +0000 @@ -1461,7 +1461,7 @@ cout << " <BitLen>" - << (unsigned int) entry.bit_length + << dec << (unsigned int) entry.bit_length << "</BitLen>" << endl; if (entry.index) {