small fixes for mjolnir