So Detroit filed for bankruptcy