parse.py: Little cleanup