chiark / gitweb /
fix regexp not to loop stupidly: