Minor detail in galaxy.py