Update spacedef.py