Clean up the proof of finiteness a bit
Small changes
Small fixes of references