Small formal adaptations