This information is only useful if we are in verbose mode, so only print it in verbose mode.