Correction Re: [math-fun] Hero[n]'s formula