~ -> Box in the manual

Fixes #16439
Ah. You are correct that the cast is needed to do the right thing here.