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