DMARCレコードの末尾はセミコロンなくてもいいからじゃね?
それより修飾子kがなにかきになる