We should probably keep this as stderr along with every other output