Fixes the --mark option to actually use Mark