`warn_with` prefixes the message with `WARNING:`, right?  So this will put `WARNING:` twice.

It would be good to verify all the warnings look good after this change, given how easy it is to make a simple mistake like this :(.