Merge "Fix build (broken documentation link)"