This formula is correct if you use the Witschi definition of beat error, but not if you use the Mumford definition, as in that case you would have to divide by 4.
Is this an endorsement of that particular definition? Who knows? Who knows anything? (Thanks anyway for contributing to my little thread.)