Minor doc enhancement

Minor doc enhancement for: https://github.com/mozilla/rust/issues/4543