update: small revisions (not important)