a few cosmetic cleanups