Fix some problems with cross references in docs