Pedestrian safety improvements coming to Cincinatti Entertainment District