Capitol repairs will happen, official says