Is this comment (and the one at the end) useful, if this is already the purpose of the file?