fix a bad print in PushDevice