update pavement.py