Fix bug #3885 display_binary_as_hex option causes unexpected behavior