Updated header comment, removed domain_config.hpp (not needed any more)