fixup! More style fixes for the curve448 code