Fixing rustdoc stage1.

See #13983 and #14000.