correct export in magit article