Commit unsaved minor changes to core.py