Cosmetic changes in nagios/plugin/functions.py