Thank you for the excellent article! Just to clarify, if we use n larger than 12, then you said "...scale the resulting distribution by 12/n before using...". Did you mean sqrt(12/n)? It would have to be since V(a*X) = a^2V(x).