fix minor bug in domains