Fixing https://github.com/kristian-lange/MechArg/issues/5