pic32 minor cleanups