Duplicate of [448d663d11], already fixed by check-in [50b4844f0c].  This fix will be present in the next release