Fix typo in Device.php