wc is ignored, here and elsewhere in this file?