a style consistency fix in mjolnir