Before revision:  The test statistic has an asymptotically pivotal distribution (a student t-distribution with K-1 degrees of freedom) , which makes our procedure very easy to implement .
After revision:  The test statistic has an asymptotically pivotal t-distribution with K-1 degrees of freedom) , which makes our procedure very easy to implement .