Sidewalk repair in the historic neighborhood. Thanks, city workers.