assigned-ids: incorporate feedback after off-line review.

Some minor things, mostly formatting.