Correct domain.fs