Add a comment to make go lint happy