You are describing the "Joint Stereo" encoding mode. I haven't tested his files, but MP3 encoders also offer a "Stereo" mode, which encodes the channels entirely separately.