Fix incorrect cross-reference in Developers' Guide