Come back to decimal mode after printing version information