Oklahoma's Capitol finally topped out