Minor improvement to `\boxout`