Fix error noticed by DexX
Fix error noticed by DexX

dexX7/mastercore,dexX7/mastercore,mastercoin-MSC/mastercore,dexX7/mastercore,mastercoin-MSC/mastercore,mastercoin-MSC/mastercore,mastercoin-MSC/mastercore,dexX7/mastercore,mastercoin-MSC/mastercore