just a comment for posterity