I wonder if this comment is better as just this final line. We can get the history via git.