Frequentist validity of posterior quantiles in the presence of a nuisance parameter : higher order asymptotics