Fix a broken hyperlink in the documentation. Thanks to Henrique Mendonca for pointing this out. Change-Id: I40a214cfa900265f85492017799a5f2062904d76