Add a comment that we made this up.