That's no bug. That's the law of HDMI. Samsung and all other makers can not fix that.
This is why I wonder if all the HDCP (copy protection) is a good idea. It's turned HDMI into a minefield of this works but that doesn't and why the heck is this thing sending stereo? (among 100 other questions.)
You may want to explore a non-HDMI solution.
So you're thinking of buying the BD-D6700?