Version 3.8.7
Fix a (probably harmless) but in the CSV output mode of the command-line
shell.