Docs update: use a reference, to avoid failures in pdf generation.