IEEE 802.11: use tok2str()