Cycling infrastructure is bad for pedestrians