Minor Redex cleanups.