The fix is correct.