This fixes #8204.  It now prints it in the device properties.