Fixed device pushing bug introduced in recent commit. Oops.