Bug in devices.php