Add reference to manual (#1385).