changed some remaining F_p to \Frob_p

looks the same, but better like this