Remove a bit of unknown about type promotion.

Also improve the comment.