Improving the proof of the proposition on finite character sheaves.