This PR polishes Micrometer tracing changes a bit.

See gh-32480

Comment From: wilkinsona

Thanks very much, @izeye.