good find. Sorry for getting back so late I was out for a week.
I've opened a BZ for this: https://bugzilla.redhat.com/show_bug.cgi?id=993548
Just saw your post - sorry I didn't get a chance to respond before you wrote up a fix.
I've attached a very simple test case with some analysis to the bugzilla entry. I doubt it's worth running, but looking over the bugzilla comments might be a good idea. Let me know if you need any additional information.