Corrected link to Developer's guide

@mhoeber , @stroilova
@stroilova , this was a fix to a bug you reported, that the link to the developer's guide was broken.