term: small cleanup.