Placate Java's implicit casts in constructor.