Small fixes for corner cases from mfloop72.py