uuid: Correct name of header file in comment.