updated dis library -- mostly code formatting