Fixed the printing of Nat discrepency reported in Issue #28.