That's right, the condition $a=b$ follows from the smoothness at $r\to 0$. For $a\neq b$, there would be a deficit or excess angle - the geometry would be a cone with a sharp singular tip at $r=0$.
–
Luboš MotlFeb 22 '13 at 11:09