--- a/eric6/DebugClients/Python/coverage/plugin.py	Tue Sep 15 19:09:05 2020 +0200
+++ b/eric6/DebugClients/Python/coverage/plugin.py	Thu Sep 17 19:10:36 2020 +0200
@@ -496,6 +496,7 @@
         * ``'num'``: a number
         * ``'op'``: an operator
         * ``'str'``: a string literal
+        * ``'ws'``: some white space
         * ``'txt'``: some other kind of text
 
         If you concatenate all the token texts, and then join them with