Some minor changes to dotemacs