Miami Beach Branch Library on Friday, Aug. 11, 2017.
Miami Beach Branch Library on Friday, Aug. 11, 2017. Roberto Koltun/ Miami Herald Staff rkoltun@miamiherald.com
Miami Beach Branch Library on Friday, Aug. 11, 2017. Roberto Koltun/ Miami Herald Staff rkoltun@miamiherald.com