midje mode and slight changes to user.el