some more fixes in domain comment creation
some more fixes for domain comment creation
fix domain comment placement
decorate domain comments at the end