Fix some variables and domains for coverage purposes