Fixed 'Bug 15125 - unable to remove //TODO tasks after removing or
renaming file'.