Minor corrections for core.py