Unnecessary promotion.

Printable View