Minor corrections
Old stuff not useful anymore