some updates to domain.py

was it correct?