Fix minor points from PR review.
Add section on -DMARK build option.