fixup! More elegant format choice in open file