fix doc warning about bad reference (warnings treated as errors in jenkins)