[PATCH] Documentation: fix accidental anchor links