Old Capitol pulley system to be fixed over holiday break