Fix cross-reference recognition (upstream html change)