See my comment below.