chiark / gitweb /
path_id: fix an harmless syntax error