20130723 city.bengaluru: It's potholes vs pocketholes