0.5.7 - Tiny patch to fix a bug with Mistra