Fix a bad comment in commit d28f82def265ae8c798a3388a871d905f741f7e2.