Changes to dotemacs