a few "cosmetic" updates