Documentation finally written
Minor details fixed