update documentation; formatting