Harmless typo in comment, but fixed. (Terminology was dated anyway; we no longer call that class virtual.)