How to repair a pothole