Fix up a comment. Evidently GitHub doesn't like svn properties?