Fixed bad domain declarations