commafeed.py: slight simplification