Update pavement.py