* toleration of them is considered a performance feature.
*
* Some specifications, e.g., RFC7748, require the topmost bit
- * (i.e., bit 7 of @wv[31]@) to be ignored. Callers
+ * (i.e., bit 7 of @xv[31]@) to be ignored. Callers
* implementing such specifications should clear the bit
* explicitly. (It's much easier for a caller who wants the bit
* to be ignored to clear it than for a caller who wants the bit