updated documentation; various small changes