plotter.py: small fix