Fix accidental change of $Id$ in docblock comment