Thanks rmiao. I resolved the problem by first backing up the database and then shrinking it.