After a crash, the database file did not always shrink because old transaction log pages were not removed from the file.