There is a comment to exactly this effect below.