chiark / gitweb /
fixed syntax in profile.py line 348