separate compilation of mset domain; minor fixes in comments