minor: fixing broken cross references