[PATCH 3/3] riched20/tests: Fix a typo in a comment.