fix a speed bug in formats.maf.alignment_details() (minor)