Heine-Borel + other fixes